Total Books: 1 - 4 /4
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Weiterlesen
Formal Concept Analysis
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Weiterlesen
Lattices and Ordered Algebraic Structures
Lattices and Ordered Algebraic Structures provides a lucid and concise introduction to the basic results concerning the notion ...
Weiterlesen
Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combinatorics
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications ...
Weiterlesen
Total Books: 1 - 4 /4
